Foundations of mathematics - PDFSEARCH.IO - Document Search Engine

Foundations of mathematics
Results: 359

#	Item
251	Archived Information Objective 2.3: Every eighth-grader masters challenging mathematics, including the foundations of algebra and geometry. Our Role. The Education Department’s Fed Add to Reading List Source URL: www2.ed.gov Language: English - Date: 2003-06-11 09:52:57 Educational research Trends in International Mathematics and Science Study Standards-based education Mathematics education Susquehanna Valley Achievement gap in the United States No Child Left Behind Act Education National Assessment of Educational Progress United States Department of Education
252	The University of Notre Dame Joint PhD in Logic and Foundations of Mathematics The Departments of Philosophy and of Mathematics at the University of Notre Dame together offer a joint Ph.D. degree in Logic and the Foundat Add to Reading List Source URL: philosophy.nd.edu Language: English - Date: 2012-08-28 16:08:53 Doctor of Philosophy Titles Science Thesis Academic degree Graduate school Logic University of Hyderabad Courant Institute of Mathematical Sciences Knowledge Education Academia
253	2013 IEEE 54th Annual Symposium on Foundations of Computer Science A forward-backward single-source shortest paths algorithm Uri Zwick Tel Aviv University [removed] Add to Reading List Source URL: www.dbwilson.com Language: English - Date: 2013-12-01 03:48:54 Routing algorithms Combinatorial optimization Network flow Network theory Shortest path problem Distance Graph Matching Floyd–Warshall algorithm Mathematics Graph theory Theoretical computer science
254	Building on Foundations for Success: Guidelines for Improving Adult Mathematics Instruction Add to Reading List Source URL: lincs.ed.gov Language: English - Date: 2013-11-29 21:41:27 Knowledge Cognition Education Knowledge sharing Philosophy of education
255	The complexity of computable entailment Benedict Eastaugh [removed] Department of Philosophy University of Bristol Add to Reading List Source URL: extralogical.net Language: English - Date: 2014-05-22 10:36:49 Computability theory Proof theory Epistemology Reverse mathematics Foundations of mathematics Second-order arithmetic Constructivism Entailment Solomon Feferman Logic Mathematics Mathematical logic
256	Jeff Edmonds Curriculum Vitae April[removed]Personal Data: Add to Reading List Source URL: www.eecs.yorku.ca Language: English - Date: 2014-04-22 23:20:08 ACM SIGACT Symposium on Theory of Computing Symposium on Foundations of Computer Science Computational complexity theory Cut Algorithm Edmonds Computer science Theoretical computer science Applied mathematics Mathematics
257	Adam Davison Smith +[removed] [removed] http://www.cse.psu.edu/˜asmith Add to Reading List Source URL: www.cse.psu.edu Language: English - Date: 2014-06-12 11:22:23 Formal sciences Symposium on Foundations of Computer Science International Colloquium on Automata Languages and Programming Symposium on Theory of Computing Silvio Micali Lecture Notes in Computer Science Entropic security Computational learning theory Quantum key distribution Theoretical computer science Cryptography Applied mathematics
258	PSA — 1998 Category Theory: The Language of Mathematics Elaine Landry — McGill University Within the current literature on the status of category theory, three positions can be discerned. The first, espoused by Lawve Add to Reading List Source URL: scistud.umkc.edu Language: English - Date: 2002-06-24 21:43:00 Metalogic Category theory Mathematical object Naive set theory Function Foundations of mathematics Set theory Topos Category Mathematics Philosophy of mathematics Mathematical logic
259	Scott Aaronson Associate Professor Department of Electrical Engineering and Computer Science Massachusetts Institute of Technology Cambridge, MA USA[removed]Room 32-G638 Add to Reading List Source URL: scottaaronson.com Language: English - Date: 2014-04-08 17:36:59 Symposium on Theory of Computing PH ACM SIGACT Quantum complexity theory Symposium on Foundations of Computer Science Quantum Turing machine Quantum information science Ronald V. Book Computer science Theoretical computer science Applied mathematics Scott Aaronson
260	Nicolas Fillion Contact Information B Add to Reading List Source URL: www.nfillion.com Language: English - Date: 2013-11-21 15:25:40 Philosophy of science Mathematics Applied mathematics Philosophy Knowledge Mathematical logic Analytic philosophy Foundations of mathematics Epistemology Science Philosophy of mathematics

UPDATE